94 research outputs found
When is an example a counterexample?
In this extended abstract, we carefully examine a purported counterexample to
a postulate of iterated belief revision. We suggest that the example is better
seen as a failure to apply the theory of belief revision in sufficient detail.
The main contribution is conceptual aiming at the literature on the
philosophical foundations of the AGM theory of belief revision [1]. Our
discussion is centered around the observation that it is often unclear whether
a specific example is a "genuine" counterexample to an abstract theory or a
misapplication of that theory to a concrete case.Comment: 10 pages, Contributed talk at TARK 2013 (arXiv:1310.6382)
http://www.tark.or
Dynamic context logic
International audienceBuilding on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical properties of the logic, and show how it can capture some aspects of the dynamics of normative systems once they are viewed as logical theories
The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms
The literature specifies extensive-form games in many styles, and eventually
I hope to formally translate games across those styles. Toward that end, this
paper defines , the category of node-and-choice forms. The
category's objects are extensive forms in essentially any style, and the
category's isomorphisms are made to accord with the literature's small handful
of ad hoc style equivalences.
Further, this paper develops two full subcategories: for
forms whose nodes are choice-sequences, and for forms whose
nodes are choice-sets. I show that is "isomorphically enclosed"
in in the sense that each form is isomorphic to
a form. Similarly, I show that is
isomorphically enclosed in in the sense that each
form with no-absentmindedness is isomorphic to a
form. The converses are found to be almost immediate, and the
resulting equivalences unify and simplify two ad hoc style equivalences in
Kline and Luckraz 2016 and Streufert 2019.
Aside from the larger agenda, this paper already makes three practical
contributions. Style equivalences are made easier to derive by [1] a natural
concept of isomorphic invariance and [2] the composability of isomorphic
enclosures. In addition, [3] some new consequences of equivalence are
systematically deduced.Comment: 43 pages, 9 figure
- …